Computer standard

Results: 6155



#Item
361Logic / Declarative programming / Software engineering / Symbol / Standard ML / Substitution / Model theory

Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science

Add to Reading List

Source URL: www.itu.dk

Language: English - Date: 2002-03-22 10:21:52
362Higher-order functions / Programming language comparisons / Functional languages / Refal / Orders of magnitude / Fold / Substitution / Ys / Map / Standard ML / Haskell features

Introduction to Supercompilation Morten Heine B. Srensen and Robert Gluck Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1, DK-2100 Copenhagen , Denmark , glueck@diku.d

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:17
363Water waves / Computer performance / Standard Performance Evaluation Corporation / Tsunami / Benchmark

Summary Report NTHMP MMS Tsunami Inundation Model Validation Workshop

Add to Reading List

Source URL: nws.weather.gov

Language: English - Date: 2015-09-01 14:49:42
364Computing / Computer architecture / Memory management / Software bugs / POSIX / Process / C standard library / Exit / Stack buffer overflow / Pointer / Segmentation fault / Stack

.oO Phrack 49 Oo. Volume Seven, Issue Forty­Nine File 14 of 16 BugTraq, r00t, and Underground.Org  bring you Smashing The Stack For Fun And Profit

Add to Reading List

Source URL: inst.eecs.berkeley.edu

Language: English - Date: 2008-08-26 17:57:09
365Computing / Parallel computing / Apache Software Foundation / Computer performance / Scheduling / Distributed computing architecture / Data-intensive computing / Apache Hadoop / Standard Performance Evaluation Corporation / Benchmark / MapReduce / Dd

Making Sense of Performance in Data Analytics Frameworks Kay Ousterhout, University of California, Berkeley; Ryan Rasti, University of California, Berkeley, International Computer Science Institute, and VMware; Sylvia Ra

Add to Reading List

Source URL: www.usenix.org

Language: English
366Computing / Language / ISO standards / Reference / Technical communication / Open formats / Computational linguistics / Annotation / ISO/TC 37 / XML schema / Attribute / Treebank

International Standard for a Linguistic Annotation Framework Nancy Ide Dept. of Computer Science Vassar College Poughkeepsie, New York

Add to Reading List

Source URL: www.cs.vassar.edu

Language: English - Date: 2003-03-23 19:20:39
367

 The story of Binti and Pili  Computer classes standard 6  Holiday activities  Sponsor’s letter  Children letters  Race

Add to Reading List

Source URL: www.watotowakenya.com

Language: English - Date: 2011-08-08 09:56:43
    368Cryptography / Block cipher / Advantage / Pseudorandom permutation / Data Encryption Standard / Feistel cipher / Stream ciphers / Distinguishing attack / Exclusive or / Advanced Encryption Standard / Running key cipher / One-way compression function

    Plain versus Randomized Cascading-Based Key-Length Extension for Block Ciphers Peter Gaˇzi ETH Zurich, Switzerland Department of Computer Science

    Add to Reading List

    Source URL: pub.ist.ac.at

    Language: English - Date: 2014-06-19 16:51:50
    369Software engineering / Computer programming / Computing / C++ Standard Library / C++ / Sort / Subroutines / Foreach loop / Associative containers / Seekg / Quine

    2012 Fall BIOSTATMidterm Tuesday October 23rd, 08:40AM-10:00AM UMID : ( ) UNIQNAME : ( )

    Add to Reading List

    Source URL: genome.sph.umich.edu

    Language: English - Date: 2012-11-01 08:00:25
    370Space probes / Geography of Mars / MAVEN / Mars Scout Program / Planetary Data System / Probability of default / Computer-aided audit tools / Social Work Inspection Agency / Apache Maven

    CRaTER Standard Product Data Record and Archive Volume Software Interface Specification

    Add to Reading List

    Source URL: wufs.wustl.edu

    Language: English - Date: 2015-04-20 09:03:00
    UPDATE